On the Implementation of @pre
نویسنده
چکیده
The paradigm of design by contract provides a transparent way of specifying object-oriented systems. There exist a number of languages for contractual specification including OCL, JML and Spec#. Nevertheless, there are still a number of research problems concerning this approach. One of them is the implementation of primitive @pre in OCL or equivalently old in JML. Those primitives are used in postconditions to refer to attribute values in states preceding an operation execution. There are a number of implementations of this operators, but all suffer logical and computational problems. In this paper, existing approaches to the implementation of @pre are discussed and a new solution
منابع مشابه
Effect of the Picture Archiving and Communication System Implementation on the Diagnosis Accuracy of Emergency Physicians in CT Scan Examinations
Introduction: Picture Archiving and Communication System (PACS) allows the processing, archiving, and sharing medical images electronically with different parts of the hospital, especially the emergency department. The aim of this study was to evaluate the effect of PACS on the diagnosis accuracy of emergency department physicians before and after its implementation. Method: In this analytical...
متن کاملEffect of the Picture Archiving and Communication System Implementation on the Diagnosis Accuracy of Emergency Physicians in CT Scan Examinations
Introduction: Picture Archiving and Communication System (PACS) allows the processing, archiving, and sharing medical images electronically with different parts of the hospital, especially the emergency department. The aim of this study was to evaluate the effect of PACS on the diagnosis accuracy of emergency department physicians before and after its implementation. Method: In this analytical...
متن کاملEffect of pre-conception care protocol on women's awareness
Introduction:Pre conception care is set of care services to assess the risks for pregnancy, it provide training and diagnostic measures, therapeutic and pharmaceutical interventions for improving health woman. In addition to improving health and performing medical care in Pre conception care, main point is to empower individual to maintain their health through providing education and counseling...
متن کاملPrioritizing Effective Factors in the Implementation of pre-Hospital Emergency Center Using Analytical Network Process (ANP) Method
Introduction: Pre-hospital emergency center, is the first line of care and treatment in the health care system. The purpose of this research is to prioritizing related factors in the implementation of pre-hospital emergency medicine using Analytical Network Process (ANP) method. Methods: This research is descriptive. First, library studies and semi-structured questions were gathered in intervie...
متن کاملThe Effect of Critical Thinking and Brainstorming as Pre-Writing Stage Activities on EFL Pre-Intermediate Learners’ Expository Writing
The present study aimed at investigating the effect of critical thinking (CT) versus brainstorming (BS) as pre-writing stage activities on English as a foreign language (EFL) pre-intermediate learners’ expository writing. To achieve this aim, 100 pre-intermediate level participants studying at Naft Language Center in Ahvaz were selected based on convenience sampling method. They took part in Ox...
متن کاملThe Effect of Critical Thinking and Brainstorming as Pre-Writing Stage Activities on EFL Pre-Intermediate Learners’ Expository Writing
The present study aimed at investigating the effect of critical thinking (CT) versus brainstorming (BS) as pre-writing stage activities on English as a foreign language (EFL) pre-intermediate learners’ expository writing. To achieve this aim, 100 pre-intermediate level participants studying at Naft Language Center in Ahvaz were selected based on convenience sampling method. They took part in Ox...
متن کامل